High-Speed Event-Driven RTL Compiled Simulation
نویسندگان
چکیده
In this paper we present a new approach for generating high-speed optimized event-driven register transfer level (RTL) compiled simulators. The generation of the simulators is part of our BUILDABONG [7] framework, which aims at architecture and compiler co-generation for special purpose processors. The main focus of the paper is on the transformation of a given architecture’s circuit into a graph and applying on it an essential graph decomposition algorithm to transform the graph into subgraphs denoting the minimal subsets of sequential elements which have to be reevaluated during each simulation cycle. As a second optimization, we present a partitioning algorithm, which introduces intermediate registers to minimize the number of evaluations of combinational nodes during a simulation cycle. The simulator’s superior performance compared to an existing commercial simulator is shown. Finally, we demonstrate the pertinence of our approach by simulating a MIPS processor.
منابع مشابه
Automatic and Optimized Generation of Compiled High-Speed RTL Simulators
In this paper we focus on the derivation of optimal code when generating high-speed event-driven compiled simulators for processor architectures described on register transfer level (RTL). The simulators’ generation is part of a framework, which aims at architecture and compiler co-generation for special purpose processors. The main contribution of this paper is an efficient algorithm to genera...
متن کاملLecsim: a Levelized Event Driven Compiled Logic Simulator*
LECSIM is a highly efficient logic simulator which integrates the advantages of event driven interpretive simulation and levelized compiled simulation. Two techniques contribute to the high efficiency. First it employs the zerodelay simulation model with levelized event scheduling to eliminate most unnecessary evaluations. Second, it compiles the central event scheduler into simple local schedu...
متن کاملA C-Based RTL Design Veri cation Methodology for Complex Microprocessor
As the complexity of high-performance microprocessor increases, functional veri cation becomes more and more difcult and RTL simulation emerges as the bottleneck of the design cycle. In this paper, we suggest C language-based design and veri cation methodology to enhance the simulation speed instead of the conventional HDL-based methodologies. RTL C model(StreC) describes the cycle-based behavi...
متن کاملA Compiled-code Simulator with Reduced Edge Evaluation
Two major approaches for the digital design simulation can be classified into event-driven and levelized-code method. The drawback of event-driven simulation is low efficiency while the levelized-code simulation has problems in supporting asynchronous design. Since most digital designs are synchronous digital we implemented a levelizedcode simulator targeting synchronous digital design. Leveliz...
متن کاملA Compiled-Code Parallel Pattern Logic Simulator With Inertial Delay Model
This paper presents a parallel pattern compiled code logic simulator which can handle the transport delay as well as the inertial delay of the logic gate. It uses Potential-Change Frame, incorporating inertial functions, to execute event-canceling operation of gates, thus eliminating the conventional time wheel mechanism. As a result, it can adopt the parallel pattern strategy to increase the s...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004